منابع مشابه
Zehn Jahre WSR - Zwölf Jahre Bauhaus
Das zehnjährige Jubiläum des deutschsprachigen Reengineering-Workshops WSR in Bad Honnef gibt Anlass, auch auf die eigene Arbeit zurück zu blicken, die thematisch mit dem WSR so eng verbunden ist. Unsere Forschergruppe Bauhaus beschäftigt sich schon seit zwölf Jahren mit dem Thema Software-Reengineering und verwandten Themen. Und seit Bestehen des WSR sind wir regelmäßige Teilnehmer am WSR. Die...
متن کاملDrei Jahre Gallenstein Chirurgie
This book is divided into a first part of 492 pages, giving the clinical histories of 300 patients submitted to laparotomy for affections of the biliary system, mostly cases of gall-stone, and a second part of 200 pages, in which the preceding cases are analysed and classified, and the whole subject of gall-stone surgery is thoroughly and scientifically considered. The case-records are exceedin...
متن کامل20 Jahre PuK
in diesem Jahr wurde der 20. Workshop der Fachgruppe Planen/ Scheduling und Konfigurieren/ Entwerfen kurz der 20. PuK durchgeführt. Er zählt damit zu den wenigen Workshops, die kontinuierlich über so eine lange Zeitspanne durchgeführt wurden. Das ist sicher zum einen bedingt durch die dahinter stehende Fachgruppe innerhalb des Fachbereichs KI der GI, die den Workshop als ihr wichtigstes Event b...
متن کاملVariation on a theme of Schütte
Let ≺ be a primitive recursive well-ordering on the natural numbers and assume that its order-type is greater than or equal to the prooftheoretic ordinal of the theory T. We show that the proof-theoretic strength of T is not increased if we add the negation of the statement which formalizes transfinite induction along ≺.
متن کامل30 Jahre Agrarinformatik - Eine Textanalyse
In diesem Beitrag wird ein Überblick über die deutschsprachige Agrarinformatik der letzten 30 Jahre gegeben. Hierzu wurden nahezu alle Publikationen der Gesellschaft für Informatik in der Land-, Forstund Ernährungswirtschaft (GIL) automatisiert nach auftretenden Wörtern und Autoren analysiert. Nicht digital vorliegende Texte wurden zunächst eingescannt und in Textform umgewandelt. Die Grundlage...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Clinical Chemistry and Laboratory Medicine
سال: 1973
ISSN: 1434-6621,1437-4331
DOI: 10.1515/cclm.1973.11.6.223